Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
391	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Automated theorem proving Mathematical logic Formal methods Logic in computer science Mathematical proof Proof assistant KeY Rippling Theorem Logic Mathematics Theoretical computer science
392	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-03-17 11:29:44 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
393	The AI4FM approach for proof automation within formal methods A Grand Challenge 6 “Dependable Systems Evolution" project Gudmund Grov Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Logical syntax Formal methods Mathematical logic Theoretical computer science Rippling Mathematical proof Theorem Formal proof KeY Logic Mathematics Automated theorem proving
394	Making Induction Manifest in Modular ACL2 ∗ Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Mathematical logic Holism ACL2 Formal methods Automated theorem proving Nqthm Structural induction Common Lisp Software engineering Computing Computer programming
395	Warren’s Abstract Machine A T UTORIAL R ECONSTRUCTION H ASSAN A¨I T-K ACI [removed] Intelligent Software Group Add to Reading List Source URL: wambook.sourceforge.net Language: English - Date: 2009-06-30 09:57:55 Artificial intelligence Applied mathematics Mathematics Automated theorem proving Logic programming Unification
396	The Use of Rippling to Automate Event-B Invariant Preservation Proofs Yuhui Lin, Alan Bundy, and Gudmund Grov School of Informatics, University of Edinburgh, UK Abstract. Proof automation is a common bottleneck for indu Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Rippling IsaPlanner Theorem Unification Mathematical proof Automated theorem proving Logic Mathematics
397	Functional Programming and Theorem Proving for Undergraduates: A Progress Report Carl Eastlund Rex Page Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Automated theorem proving Lisp programming language Theoretical computer science Logic in computer science Formal methods ACL2 Formal verification Logic programming J Strother Moore Computing Software engineering Computer programming
398	Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Theoretical computer science Formal methods Proof theory Logical syntax Logical truth Mathematical proof Isabelle Proof assistant IsaPlanner Logic Automated theorem proving Mathematics
399	Proof-Pattern Recognition and Lemma Discovery in ACL2? J´ onathan Heras1 , Ekaterina Komendantskaya1 , Moa Johansson2 , and Ewen Maclean3 1 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-14 09:26:50 Lisp programming language Functional languages Procedural programming languages ACL2 Formal methods Automated theorem proving First-order logic Recursion Lisp Computer programming Software engineering Computing

UPDATE